1501. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده : K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
1502. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
1503. Sweetie 2.0. Using artificial intelligence to fight webcam child sex tourism
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Internet and children. ;
1504. Symbolic and numerical computation for artificial intelligence
پدیدآورنده : edited by Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Congresses
رده :
Q
335
.
S89
1990
1505. Symbolic and numerical computation for artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Artificial intelligence
رده :
Q
335
.
S89
1992
1506. Tasks and Methods in Applied Artificial Intelligence
پدیدآورنده : \ Angel Pasqual del Pobil, Jos6 Mira, Moonis Ali (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence -- Industrial applications -- Congresses.,هوش مصنوعی-- کنگرهها,هوش مصنوعی -- کاربردهای صنعتی -- کنگرهها
رده :
E-Book
,
1507. Tech Anxiety : Artificial Intelligence and Ontological Awakening in Four Science Fiction Novels
پدیدآورنده : / Sims, Christopher A.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
رده :
E-BOOK
1508. Technologies and Applications of Artificial Intelligence
پدیدآورنده : / Yuh Day-Ming Cheng, Min-Shin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
1509. Temporal logic: from ancient ideas to artificial intelligence
پدیدآورنده : Ohrstrom, Peter.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
O37
1995
1510. Text understanding in LILOG : integrating computational linguistics and artificial intelligence : final report on the IBM Germany LILOG-project
پدیدآورنده : O. Herzog, C.-R. Rollinger )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational linguistics,، Projekt LILOG,، Natural language processing )Computer science(,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
546
1511. The Cambridge handbook of artificial intelligence /
پدیدآورنده : edited by Keith Frankish and William M. Ramsey.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
Q335
،.
C26
2014
1512. The Cambridge handbook of artificial intelligence
پدیدآورنده : edited by Keith Frankish and William M. Ramsey
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Philosophy ، Artificial intelligence
رده :
Q
335
.
C26
2014
1513. <The> Computer and the Brain: Perspectives on Human and Artificial Intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
رده :
QA
،
76
،.
C549
،
1989
1514. <The> Elements of Artificial Intelligence;An Introduction using LISP
پدیدآورنده : Steven L.Tanimoto
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Artificial Intelligence-Data Processing
1515. The Elements of artificial intelligence using common lisp
پدیدآورنده : / Steven L. Tanimoto
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Artificial intelligence-Data processing,LISP (Computer program language)
رده :
Q336
.
T37
1995
1516. <The> Essence of artificial intelligence
پدیدآورنده : Alison Cawsey
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Artificial Intelligence
1517. The Facts on File dictionary of artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Artificial intelligence- Dictionaries
1518. The Fourth Industrial Revolution: Implementation of Artificial Intelligence for Growing Business Success
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع :
1519. The Handbook of artificial intelligence
پدیدآورنده : edited by Edward A.Feigenbaum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Artificial intelligence
رده :
Q
335
.
H36
1520. The Mcgraw- Hill illustrated encyclopedia of robotics & artificial intelligence
پدیدآورنده : Gibilisco, Stan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Robotics- Encyclepedias,، Artificial intelligence- Encyclopedias
رده :
TJ
210
.
4
.
G5M3